Known vulnerabilities in frama-c-base (Debian package) 20151002+magnesium+dfsg-1+b2

20200625+scandium-2+b4 20200625+scandium-2+b3 20200625+scandium-2+b2 20200625+scandium-2+b1 20200625+scandium-2 20200625+scandium-1 20090902+beryllium+dfsg-1 20090902+beryllium+dfsg-2 20090902+beryllium+dfsg-3 20090902+beryllium+dfsg-4 20090902+beryllium+dfsg-5 20100401+boron+dfsg-1 20100401+boron+dfsg-2 20100401+boron+dfsg-2+b1 20100401+boron+dfsg-3 20100401+boron+dfsg-4 20100401+boron+dfsg-5 20100401+boron+dfsg-5+b1 20110201+carbon+dfsg-1 20110201+carbon+dfsg-2 20110201+carbon+dfsg-2+b1 20110201+carbon+dfsg-2+b2 20111001+nitrogen+dfsg-1 20111001+nitrogen+dfsg-2 20111001+nitrogen+dfsg-3 20111001+nitrogen+dfsg-3+b1 20111001+nitrogen+dfsg-4 20111001+nitrogen+dfsg-4+b1 20111001+nitrogen+dfsg-4+b3 20130601+fluorine3+dfsg-1 20130601+fluorine3+dfsg-2 20130601+fluorine3+dfsg-2+b1 20140301+neon+dfsg-1 20140301+neon+dfsg-2 20140301+neon+dfsg-3+b1 20150201+sodium+dfsg-1 20150201+sodium+dfsg-2 20150201+sodium+dfsg-2+b1 20151002+magnesium+dfsg-1 20151002+magnesium+dfsg-1+b1 20151002+magnesium+dfsg-1+b2 20151002+magnesium+dfsg-1+b3 20151002+magnesium+dfsg-1+b4 20161101+silicon+dfsg-1 20161101+silicon+dfsg-2 20161101+silicon+dfsg-3 20161101+silicon+dfsg-4 20161101+silicon+dfsg-5 20161101+silicon+dfsg-5+b2 20161101+silicon+dfsg-6 20170501+phosphorus+dfsg-1 20170501+phosphorus+dfsg-2 20170501+phosphorus+dfsg-2+b1 20170501+phosphorus+dfsg-2+b2 20170501+phosphorus+dfsg-2+b3 20171101+sulfur+dfsg-1 20171101+sulfur+dfsg-2+b1 20191204+calcium-0.1 20171101+sulfur+dfsg-2 20161101+silicon+dfsg-5+b1 20140301+neon+dfsg-3